home *** CD-ROM | disk | FTP | other *** search
/ Archive Magazine CD 1995 / Archive Magazine CD 1995.iso / discs / prog_disc / volume_3 / issue10 / extras / prolog / ReadMe < prev    next >
Encoding:
Text File  |  1990-01-15  |  2.8 KB  |  86 lines
  1.                  Patches for Prolog-X, version 4.011
  2.                  ===================================
  3.  
  4. For reasons only known to Acorn, Prolog-X, which costs close to £200, is
  5. unable to work on RAM discs or SCSI hard discs!  It looks unlikely that
  6. Acorn will ever upgrade it, but in the meantime I have made a couple of
  7. patches which SEEM to work.
  8.  
  9. The enclosed files are two small patches for Prolog-X version 4.011 to
  10. enable it to work with SCSI hard discs (and RAM discs), together with an
  11. exec file to create a new version on Prolog.  They seem to work, but I
  12. cannot guarantee anything!  Please let me know if you have any further
  13. problems.
  14.  
  15. To make a new version of Prolog, ensure that the three files 'patch1',
  16. 'patch2' and 'PtchProlog' are all in the same directory as the original
  17. version of Prolog, and then run 'PtchProlog'.  The original version will be
  18. renamed to 'PrologXOrg', and the new version will be saved as 'PrologX'.
  19. This procedure may be carried out from the desktop, by double-clicking on
  20. 'PtchProlog'.
  21.  
  22. In case there are other releases of Prolog about, please note that these
  23. patches are designed for VERSION 4.011 ONLY!!
  24.  
  25.  
  26.  
  27. I have added a 'trace' utility to this download - it is written in Prolog,
  28. and may be loaded by entering compile('Trace').  It is a slightly modified
  29. version of a program in 'The Art of Prolog', by L. Sterling and E. Shapiro.
  30. It may be used by entering:
  31.  
  32.      trace(clause).
  33.  
  34. For example,
  35.  
  36.      trace(member(1,[2,3,4,1,5])) and trace(member(1,[2,3,4))
  37.  
  38. where 'member' is defined in the 'standard' manner for lists, will produce
  39. the following displays:
  40.  
  41. member(1,[2,3,4,1,5])
  42.   member(1,[3,4,1,5])
  43.     member(1,[4,1,5])
  44.       member(1,[1,5])
  45. (465/200)
  46. yes
  47.  
  48. ?- trace(member(1,[2,3,4])).
  49. member(1,[2,3,4])
  50.   member(1,[3,4])
  51.     member(1,[4])
  52.       member(1,[])        fail
  53. no
  54.  
  55.  
  56.  
  57. It does NOT work with cuts (so there you are - another incentive not to use
  58. them!).  If anyone can modify it to do cuts as well, I would appreciate it
  59. if they contacted me.
  60.  
  61. If anyone knows how to get Prolog's 'modules' working, could they please
  62. contact me!
  63.  
  64. This package may be distributed freely, on condition that no charge is made,
  65. and that all the files, including this file, are included.  You may NOT sell
  66. this software, or use it otherwise for personal gain.  If you wish to post
  67. it on your Bulletin Board or include it in your Shareware library then that,
  68. too, is fine.
  69.  
  70. LIMITED support is available from:
  71.  
  72. Michael Ben-Gershon
  73. 8 Linnell Drive
  74. LONDON NW11 7LT
  75.  
  76. No telephone calls please.
  77.  
  78. However, I can be contacted as:
  79. Prestel (and SID):  014554781
  80. Janet:              umace03@doc.ic.ac.uk
  81. Archive:            Michael Ben-Gershon (396)
  82.  
  83. Please report any bugs you find to this address, so other users may benefit
  84. from improved versions.  Please note that no undertaking is given to fix any
  85. bugs!
  86.